python2.7 ../probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py rabin.100.jani -c ../probfd-qcomp19/jani-to-ppddl/config_rabin.py
python2.7 ../probfd-qcomp19/builds/release64/bin/translate/translate.py rabin.100-domain.ppddl rabin.100-problem.ppddl
../probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Parsing...
Parsing: [2.210s CPU, 2.211s wall-clock]
Normalizing task... [0.140s CPU, 0.141s wall-clock]
Instantiating...
Generating Datalog program... [0.190s CPU, 0.181s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [2.930s CPU, 2.936s wall-clock]
Preparing model... [2.240s CPU, 2.241s wall-clock]
Generated 80601 rules.
Computing model...
----------
Computation aborted after 1801.3083102703094 seconds since the total time limit of 1800 seconds was exceeded.